Reverse computation - PDFSEARCH.IO - Document Search Engine

Reverse computation
Results: 42

#	Item
31	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
32	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
33	By Luis von Ahn, Manuel Blum, and John Langford TELLING HUMANS AND COMPUTERS Add to Reading List Source URL: captcha.net Language: English - Date: 2009-07-22 18:52:06 Computing CAPTCHA Human-based computation Philosophy of artificial intelligence Spamming Reverse Turing test Luis von Ahn Turing test Computing Machinery and Intelligence Artificial intelligence Science Alan Turing
34	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
35	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
36	On Self-Embeddings of Computable Linear Orderings ? Rodney G. Downey a , Carl Jockusch b and Joseph S. Miller a a School of Mathematical and Computing Sciences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:54:43 Mathematical logic Theory of computation Computable function Halting problem Turing reduction Reverse mathematics Embedding Ordinal number Computability theory Mathematics Theoretical computer science
37	By Luis von Ahn, Manuel Blum, and John Langford TELLING HUMANS AND COMPUTERS Add to Reading List Source URL: www.captcha.net Language: English - Date: 2009-07-22 18:52:06 Computing CAPTCHA Human-based computation Philosophy of artificial intelligence Spamming Reverse Turing test Luis von Ahn Turing test Computing Machinery and Intelligence Artificial intelligence Science Alan Turing
38	Costly Valuation Computation in Auctions Kate Larson and Tuomas Sandholm * Computer Science Department Carnegie Mellon University 5000 Forbes Ave Pittsburgh, PA[removed]USA Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Vickrey auction First-price sealed-bid auction Agent-based model Anytime algorithm Reverse auction Auction Randomized algorithm Algorithm Combinatorial auction Auctioneering Auction theory Business
39	ANALYSIS OF TIME WARP ON A 32,768 PROCESSOR IBM BLUE GENE/L SUPERCOMPUTER Akintayo O. Holder and Christopher D. Carothers Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2008-06-13 16:07:36 Reverse computation Message Passing Interface Blue Gene Supercomputer architecture Multi-core processor Massively parallel Supercomputer K computer Computer cluster Computing Concurrent computing Parallel computing
40	ACM Computer and Communication security[removed]CSS’[removed]Text-based CAPTCHA Strengths and Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-12-19 14:24:27 Alan Turing CAPTCHA Human-based computation Reverse Turing test Segmentation Transaction authentication number Optical character recognition Turing test Computer security Artificial intelligence Computing Security

UPDATE